#ifndef DETFINAUTREVERSE_H_
#define DETFINAUTREVERSE_H_
#include <iostream>
#include <list>
#include <string>
#include "toDetFinAut.h"

using namespace std;

class DetFinAutReverse
{
public:
	DetFinAutReverse();
	~DetFinAutReverse();
	NonFinAut<char> reverse(DetFinAut<char> &DFA);
	DetFinAut<char> minimalize(DetFinAut<char> &DFA);
};

#endif